Notas e soluções do Curso MIT 6.001 – Structure and Interpretation of Computer Programs (SICP)

Essa página é um espaço pessoal onde compartilho minhas anotações, soluções de exercícios e reflexões sobre o livro Structure and Interpretation of Computer Programs, 2ª ed. (SICP). Além do livro, utilizo como material de apoio as aulas do Professor Brian Harvey, as palestras MIT 6.001 Structure and Interpretation, 1986 e outros recursos que me auxiliam na compreensão dos conceitos apresentados. O objetivo aqui é consolidar meu aprendizado e, quem sabe, ajudar outros estudantes nessa jornada.

Guia

• 1. Construindo Abstrações com Procedimentos
• 1.1 Os Elementos da Programação
• 1.2 Procedimentos e os Processos que Eles Geram
• 1.3 Formulando Abstrações com Procedimentos de Ordem Superior
• 2. Construindo Abstrações com Dados
• 2.1 Introdução à Abstração de Dados
• 2.2 Dados Hierárquicos e a Propriedade de Fechamento
• 2.3 Dados Simbólicos
• 2.4 Múltiplas Representações para Dados Abstratos
• 2.5 Sistemas com Operações Genéricas
• 3. Modularidade, Objetos e Estado
• 3.1 Atribuição e Estado Local
• 3.2 O Modelo de Ambiente de Avaliação
• 3.3 Modelagem com Dados Mutáveis
• 3.4 Concorrência: O Tempo é Essencial
• 3.5 Fluxos
• 4. Abstração Metalinguística
• 4.1 O Avaliador Metacircular
• 4.2 Variações em um Esquema — Avaliação Preguiçosa
• 4.3 Variações em um Esquema — Computação Não Determinística
• 4.4 Programação Lógica
• 5. Computação com Máquinas de Registro
• 5.1 Projetando Máquinas de Registradores
• 5.2 Um Simulador de Máquina de Registradores
• 5.3 Alocação de Armazenamento e Coleta de Lixo
• 5.4 O Avaliador de Controle Explícito
• 5.5 Compilação